(Eng: mathematical logic) 1. Een tak van de wiskunde die het theoretische gedrag van verschillende redeneersystemen omvat. 2. Booleaanse algebra. 3. Digitale logica.(Eng: mathematical logic) 1. Een tak van de wiskunde die het theoretische gedrag van verschillende redeneersystemen omvat. 2. Booleaanse algebra. 3. Digitale logica.